GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Robin Gandy</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Robin Gandy</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Robin Oliver Gandy</b> (* <a href="22._September" title="22. September">22. September</a> <a href="1919" title="1919">1919</a> in Rotherfield Peppard, <a href="Oxfordshire" title="Oxfordshire">Oxfordshire</a>; † <a href="20._November" title="20. November">20. November</a> <a href="1995" title="1995">1995</a> in <a href="Oxford" title="Oxford">Oxford</a>) war ein <a href="Vereinigtes_K%C3%B6nigreich" title="Vereinigtes Königreich">britischer</a> <a href="Logik" title="Logik">Logiker</a>.

</p><p>Gandy begann noch vor dem Zweiten Weltkrieg ein Studium der Mathematik und Philosophie am <a href="King%E2%80%99s_College_(Cambridge)" title="King’s College (Cambridge)">King’s College</a> der <a href="Cambridge_University" class="mw-redirect" title="Cambridge University">Cambridge University</a>, an der er bei <a href="Alan_Turing" title="Alan Turing">Alan Turing</a> 1952 promovierte (<i>On axiomatic systems in mathematics and theories in physics</i>), mit dem er auch zusammenarbeitete und mit dem er befreundet war. Das Studium war ab 1940 (er hatte damals den ersten Teil der <a href="Tripos_(Cambridge)" title="Tripos (Cambridge)">Tripos</a>-Prüfungen abgelegt, den dritten Teil holte er nach dem Krieg nach) sechs Jahre in der Zeit des Zweiten Weltkriegs unterbrochen, wo er zunächst als Radio- und Radar-Experte arbeitete. Er kannte Turing näher aus der Zeit während des Kriegs (1944 in Hanslope Park), als er mit ihm an Sprachverschlüsselungsmethoden (eine Maschine mit dem von Gandy gewählten Codenamen <i>Delilah</i>) arbeitete. 1950 bis 1956 war er <a href="Lecturer" title="Lecturer">Lecturer</a> in Angewandter Mathematik an der <a href="University_of_Leicester" title="University of Leicester">University of Leicester</a> und 1956 bis 1961 in gleicher Funktion an der <a href="University_of_Leeds" title="University of Leeds">University of Leeds</a>.

</p><p>1961 holte ihn <a href="Max_Newman" title="Max Newman">Max Newman</a>, der schon Turing dorthin geholt hatte, als Senior Lecturer an die <a href="University_of_Manchester" title="University of Manchester">University of Manchester</a>, wo er 1964 <a href="Reader_(Hochschullehrer)" title="Reader (Hochschullehrer)">Reader</a> und 1967 Professor wurde und Logik und Philosophie der Mathematik unterrichtete. 1966/67 war er Associate Professor an der <a href="Stanford_University" title="Stanford University">Stanford University</a> und 1968 an der <a href="University_of_California%2C_Los_Angeles" title="University of California, Los Angeles">UCLA</a>.

</p><p>1969 wechselte er als Reader nach Oxford zum <a href="Wolfson_College_(Oxford)" title="Wolfson College (Oxford)">Wolfson College</a>, wo heute eines der Gebäude nach ihm benannt ist. Vorher organisierte er noch 1969 das europäische Treffen der <a href="Association_for_Symbolic_Logic" title="Association for Symbolic Logic">ASL</a> in Manchester. In Oxford hatte er über 30 Doktoranden. 1986 ging er dort in den Ruhestand.

</p><p>Er beschäftigte sich vor allem mit <a href="Rekursionstheorie" class="mw-redirect" title="Rekursionstheorie">Rekursionstheorie</a> und effektiver deskriptiver Mengenlehre. Eine Verallgemeinerung von <a href="Turing-Maschine" class="mw-redirect" title="Turing-Maschine">Turing-Maschinen</a> ist nach ihm benannt.

</p><p>1970 bis 1973 war er im Rat der <a href="Association_for_Symbolic_Logic" title="Association for Symbolic Logic">Association for Symbolic Logic</a>. Er war Mitgründer (mit John Shepherdson) und erster Präsident des British Logic Colloquium.

Gandy war auch der Erbe von Turings schriftlichem Nachlass. Er war an der Herausgabe von dessen Werken beteiligt und arbeitete noch kurz vor seinem Tod an der Edition von Turings <i>On computable numbers</i>.

</p><p>1962 war er Invited Speaker auf dem <a href="Internationaler_Mathematikerkongress" title="Internationaler Mathematikerkongress">Internationalen Mathematikerkongress</a> in <a href="Stockholm" title="Stockholm">Stockholm</a> (<i>Recursive functionals of type 3 and 4</i>).

</p><p>Einer von Gandys Doktoranden, <a href="John_Sharkey%2C_Baron_Sharkey" title="John Sharkey, Baron Sharkey">John Sharkey</a>, wurde später Mitglied des britischen Oberhauses (<a href="House_of_Lords" title="House of Lords">House of Lords</a>) und brachte 2013 einen Antrag zur <a href="Rehabilitierung" class="mw-redirect" title="Rehabilitierung">Rehabilitierung</a> von Alan Turing ein.<sup id="cite_ref-rehab_1-0" class="reference"><a href="#cite_note-rehab-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> Dieser war 1953 wegen seiner <a href="Homosexualit%C3%A4t" title="Homosexualität">Homosexualität</a> zu einer Gefängnisstrafe verurteilt und psychiatrisch zwangsbehandelt worden, woraufhin er wenig später <a href="Suizid" title="Suizid">Suizid</a> beging.

</p>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li><a href="Yiannis_N._Moschovakis" title="Yiannis N. Moschovakis">Yiannis N. Moschovakis</a>, Mike Yates, Nachruf, Bulletin of Symbolic Logic, Bd. 2, 1996, S. 121</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="https://www.turing.org.uk/turing/scrapbook/robin.html">Porträt des Turing-Biographen Andrew Hodges von Gandy mit Interview-Ausschnitten</a></li>

<li><a rel="nofollow" class="external text" href="https://www.independent.co.uk/news/people/obituaryrobin-gandy-1583406.html">Nachruf im The Independent 1995 von Mike Yates</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-rehab-1"><span class="mw-cite-backlink"><a href="#cite_ref-rehab_1-0">↑</a></span> <span class="reference-text">Werner Pluta: <i><a rel="nofollow" class="external text" href="https://forum.golem.de/kommentare/politik-recht/alan-turing-spaete-rehabilitierung-fuer-den-computerpionier/74889,list.html">Alan Turing. Späte Rehabilitierung für den Computerpionier.</a></i> auf <a href="Golem.de" class="mw-redirect" title="Golem.de">golem.de</a> vom 23. Juli 2013, abgerufen am 23. Juli 2013</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Nicholas Watt: <i>Enigma codebreaker Alan Turing to be given posthumous pardon</i> auf <a href="The_Guardian" title="The Guardian">guardian.co.uk</a> vom 19. Juli 2013, abgerufen am 23. Juli 2013</span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/123876494">123876494</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n2001007463">n2001007463</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/234217153/">234217153</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2023-07-27" href="https://de.wikipedia.org/wiki/?title=Robin_Gandy&oldid=235850997">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>